(0 9 7)(1 16 12)(2 17 5)(3 10 6)(4 15 8)(11 14 13)
ALLOWS (11/8)-SEQUENCE
1: (4 8 15)

(0 9 7)(1 16 12)(2 17 5)(3 10 6)(4 8 15)(11 14 13)
2: (0 9 7)

(0)(1 16 12)(2 17 5)(3 10 6)(4 8 15)(7)(9)(11 14 13)
3: (4 8 15)

(0)(1 16 12)(2 17 5)(3 10 6)(4)(7)(8)(9)(11 14 13)(15)
4: (1 16 12)

(0)(1)(2 17 5)(3 10 6)(4)(7)(8)(9)(11 14 13)(12)(15)(16)